Two Basic Theorems On Gcd